class A[+T]

